b0cac28d133d6c574a19baa8f253c825a6b67ff5,src/main/java/org/basex/gui/view/map/MapView.java,MapView,mousePressed,#MouseEvent#,463
Before Change
if(mainRects.size != 1) gui.notify.context(marked, false, null);
} else if(e.isShiftDown()) {
gui.notify.mark(1, null);
} else if(sc(e)) {
gui.notify.mark(2, null);
} else {
if(!marked.contains(gui.context.focused)) gui.notify.mark(0, null);
After Change
if(mainRects.size != 1) gui.notify.context(marked, false, null);
} else if(e.isShiftDown()) {
gui.notify.mark(1, null);
} else if(sc(e) && SwingUtilities.isLeftMouseButton(e)) {
gui.notify.mark(2, null);
} else {
if(!marked.contains(gui.context.focused)) gui.notify.mark(0, null);